Словарь по логике - сорит

цепь сокращенных силлогизмов, в которых опущена или большая, или меньшая посылка. Различают два вида С.: 1) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается меньшая посылка; 2) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается большая посылка. Пример структуры С. (1): "Все A суть В", "Все В суть С", "Все С суть D, все D сутъ Е; следовательно, все A суть Е". Следующий конкретный по содержанию С. имеет приведенную выше структуру:

3 нечетное число.

Все нечетные числа натуральные числа.

Все натуральные числа рациональные числа.

Все рациональные числа действительные числа.

3 действительное число.

Восстановим этот С. в цепь полных силлогизмов, где получаемые заключения становятся явно сформулированными меньшими посылками.

Первый силлогизм имеет вид:

Все нечетные числа натуральные числа.

3 нечетное число.______________

3 натуральное число.

Второй силлогизм имеет вид:

Все натуральные числа рациональные числа.

3 натуральное число.

3 рациональное число.

Третий силлогизм имеет вид:

Все рациональные числа действительные числа.

3 рациональное число.

3 действительное число.

Примером С. (2) может быть следующий:

Все рациональные числа действительные числа.

Все натуральные числа рациональные числа.

Все нечетные числа натуральные числа.

3 нечетное число.

3 действительное число.